reflexive relations on a set